Francis William Lawvere

彼は集合論における役割を想像しやすい公理をいくつか提起したが、後にこれらは整理されたたった四つの公理に落ち着いた。 ref 『圏論の道案内』.icon p.207

4つとは集合圏の定義のことかmrsekut.icon

参考